Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
31	A General Discrete Velocity Model Including Internal Degrees of Freedom Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Set theory Ordinal numbers Proof theory Ordinal arithmetic Curry–Howard correspondence Mathematical logic Collision Mechanics
32	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
33	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
34	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
35	Normalization by realizability also evaluates Pierre-Évariste Dagand1 & Gabriel Scherer2 1: Gallium, INRIA Paris-Rocquencourt 2: Gallium, INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-12-03 02:55:37 Logic Symbol Curry–Howard correspondence Valuation Forcing Natural deduction Physical quantity Mathematical logic Mathematics Proof theory
36	Secrecy and Authenticity Types for Secure Distributed Messaging? Michele Bugliesi, Stefano Calzavara, and Damiano Macedonio Universit` a Ca’ Foscari Venezia, Dipartimento di Informatica {michele,scalzava,mace}@dsi.univ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:59 Logic in computer science Mathematical logic Mathematical analysis Modular forms Curry–Howard correspondence Natural deduction Symbol Mathematics Proof theory
37	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
38	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-02-16 03:48:02 Normalisation by evaluation Monad Computer programming Curry–Howard correspondence Mathematical logic Software engineering Lambda calculus
39	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
40	Fast Additive Constant Approximation Algorithms for The Safe Deposit Boxes Problem with Two and Three Currencies Boaz Ben-Moshe1 1 Yefim Dinitz2 Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:26:42 Ordinal numbers Logic Ordinal arithmetic Set theory Curry–Howard correspondence Mathematical logic Proof theory Mathematics